Wyniki
-
Interpolation and implicit definability in extensions of the provability logic
Larisa Maksimova
Logic and Logical Philosophy , 17 /1-2 (2008) s. 129-142
Larisa Maksimova
Logic and Logical Philosophy
, 17
/1-2
(2008)
s. 129-142